Discrete Mathematical Logic 2023 Ep-01: Negation, Conjunction, Disjunction, Truth Table, Equivalence